Testing abstract behavioral specifications

We present a range of testing techniques for the Abstract Behavioral Specification (ABS) language and apply them to an industrial case study. ABS is a formal modeling language for highly variable, concurrent, component-based systems. The nature of these systems makes them susceptible to the introduction of subtle bugs that are hard to detect in the presence of steady adaptation. While static analysis techniques are available for an abstract language such as ABS, testing is still indispensable and complements analytic methods. We focus on fully automated testing techniques including blackbox and glassbox test generation as well as runtime assertion checking, which are shown to be effective in an industrial setting

The effect of finite-range interactions in classical transport theory

The effect of scattering with non-zero impact parameters between consituents in relativistic heavy ion collisions is investigated. In solving the relativistic Boltzmann equation, the characteristic range of the collision kernel is varied from approximately one fm to zero while leaving the mean-free path unchanged. Modifying this range is shown to significantly affect spectra and flow observables. The finite range is shown to provide effective viscosities, shear, bulk viscosity and heat conductivity, with the viscous coefficients being proportional to the square of the interaction range

A low density of 0.8 g/cc for the Trojan binary asteroid 617 Patroclus

The Trojan population consists of two swarms of asteroids following the same orbit as Jupiter and located at the L4 and L5 Lagrange points of the Jupiter-Sun system (leading and following Jupiter by 60 degrees). The asteroid 617 Patroclus is the only known binary Trojan (Merline et al. 2001). The orbit of this double system was hitherto unknown. Here we report that the components, separated by 680 km, move around the system centre of mass, describing roughly a circular orbit. Using the orbital parameters, combined with thermal measurements to estimate the size of the components, we derive a very low density of 0.8 g/cc. The components of Patroclus are therefore very porous or composed mostly of water ice, suggesting that they could have been formed in the outer part of the solar system.Comment: 10 pages, 3 figures, 1 tabl

An \u3cem\u3eIL1RL1\u3c/em\u3e genetic variant lowers soluble ST2 levels and the risk effects of \u3cem\u3eAPOE\u3c/em\u3e-ε4 in female patients with Alzheimer’s disease

Changes in the levels of circulating proteins are associated with Alzheimer’s disease (AD), whereas their pathogenic roles in AD are unclear. Here, we identified soluble ST2 (sST2), a decoy receptor of interleukin-33–ST2 signaling, as a new disease-causing factor in AD. Increased circulating sST2 level is associated with more severe pathological changes in female individuals with AD. Genome-wide association analysis and CRISPR–Cas9 genome editing identified rs1921622, a genetic variant in an enhancer element of IL1RL1, which downregulates gene and protein levels of sST2. Mendelian randomization analysis using genetic variants, including rs1921622, demonstrated that decreased sST2 levels lower AD risk and related endophenotypes in females carrying the Apolipoprotein E (APOE)-ε4 genotype; the association is stronger in Chinese than in European-descent populations. Human and mouse transcriptome and immunohistochemical studies showed that rs1921622/sST2 regulates amyloid-beta (Aβ) pathology through the modulation of microglial activation and Aβ clearance. These findings demonstrate how sST2 level is modulated by a genetic variation and plays a disease-causing role in females with AD

Optical Propagation and Communication

Contains research objectives and reports on six research projects.National Science Foundation (Grant ECS 85-09143)Maryland Procurement Office (Contract MDA 904-84-C-6037)Maryland Procurement Office (Contract MDA 904-87-C-4044)National Science Foundation (Grant ECS 84-15580)National Science Foundation (Grant INT-86-14329)U.S. Navy - Office of Naval Research (Contract N00014-87-G-0198)U.S. Army Research Office - Durham (Contract DAAG29-84-K-0095)U.S. Army Research Office - Durham (Contract DAALO3-87-K-0117)U.S. Navy - Office of Naval Research (Contract N00014-80-C-0941_U.S. Air Force - Office of Scientific Research (Contract F49620-87-C-0043

Human resources issues and Australian Disaster Medical Assistance Teams: results of a national survey of team members

Background: Calls for disaster medical assistance teams (DMATs) are likely to continue in response to international disasters. As part of a national survey, this study was designed to evaluate Australian DMAT experience in relation to the human resources issues associated with deployment.\ud \ud Methods: Data was collected via an anonymous mailed survey distributed via State and Territory representatives on the Australian Health Protection Committee, who identified team members associated with Australian DMAT deployments from the 2004 South East Asian Tsunami disaster.\ud \ud Results: The response rate for this survey was 50% (59/118). Most personnel had deployed to the Asian Tsunami affected areas with DMAT members having significant clinical and international experience. While all except one respondent stated they received a full orientation prior to deployment, only 34% of respondents (20/59) felt their role was clearly defined pre deployment. Approximately 56% (33/59) felt their actual role matched their intended role and that their clinical background was well suited to their tasks. Most respondents were prepared to be available for deployment for 1 month (34%, 20/59). The most common period of notice needed to deploy was 6–12 hours for 29% (17/59) followed by 12–24 hours for 24% (14/59). The preferred period of overseas deployment was 14–21 days (46%, 27/59) followed by 1 month (25%, 15/59) and the optimum shift period was felt to be 12 hours by 66% (39/59). The majority felt that there was both adequate pay (71%, 42/59) and adequate indemnity (66%, 39/59). Almost half (49%, 29/59) stated it was better to work with people from the same hospital and, while most felt their deployment could be easily covered by staff from their workplace (56%, 33/59) and caused an inconvenience to their colleagues (51%, 30/59), it was less likely to interrupt service delivery in their workplace (10%, 6/59) or cause an inconvenience to patients (9%, 5/59). Deployment was felt to benefit the affected community by nearly all (95%, 56/59) while less (42%, 25/59) felt that there was a benefit for their own local community. Nearly all felt their role was recognised on return (93%, 55/59) and an identical number (93%, 55/59) enjoyed the experience. All stated they would volunteer again, with 88% strongly agreeing with this statement.\ud \ud Conclusions: This study of Australian DMAT members provides significant insights into a number of human resources issues and should help guide future deployments. The preferred 'on call' arrangements, notice to deploy, period of overseas deployment and shift length are all identified. This extended period of operations needs to be supported by planning and provision of rest cycles, food, temporary accommodation and rest areas for staff. The study also suggests that more emphasis should be placed on team selection and clarification of roles. While the majority felt that there was both adequate pay and adequate indemnity, further work clarifying this, based on national conditions of service should be, and are, being explored currently by the state based teams in Australia. Importantly, the deployment was viewed positively by team members who all stated they would volunteer again, which allows the development of an experienced cohort of team members

Multicentric validation of proteomic biomarkers in urine specific for diabetic nephropathy

Background: Urine proteome analysis is rapidly emerging as a tool for diagnosis and prognosis in disease states. For diagnosis of diabetic nephropathy (DN), urinary proteome analysis was successfully applied in a pilot study. The validity of the previously established proteomic biomarkers with respect to the diagnostic and prognostic potential was assessed on a separate set of patients recruited at three different European centers. In this case-control study of 148 Caucasian patients with diabetes mellitus type 2 and duration >= 5 years, cases of DN were defined as albuminuria >300 mg/d and diabetic retinopathy (n = 66). Controls were matched for gender and diabetes duration (n = 82). Methodology/Principal Findings: Proteome analysis was performed blinded using high-resolution capillary electrophoresis coupled with mass spectrometry (CE-MS). Data were evaluated employing the previously developed model for DN. Upon unblinding, the model for DN showed 93.8% sensitivity and 91.4% specificity, with an AUC of 0.948 (95% CI 0.898-0.978). Of 65 previously identified peptides, 60 were significantly different between cases and controls of this study. In <10% of cases and controls classification by proteome analysis not entirely resulted in the expected clinical outcome. Analysis of patient's subsequent clinical course revealed later progression to DN in some of the false positive classified DN control patients. Conclusions: These data provide the first independent confirmation that profiling of the urinary proteome by CE-MS can adequately identify subjects with DN, supporting the generalizability of this approach. The data further establish urinary collagen fragments as biomarkers for diabetes-induced renal damage that may serve as earlier and more specific biomarkers than the currently used urinary albumin

A transcriptomic snapshot of early molecular communication between Pasteuria penetrans and Meloidogyne incognita

© The Author(s). 2018Background: Southern root-knot nematode Meloidogyne incognita (Kofoid and White, 1919), Chitwood, 1949 is a key pest of agricultural crops. Pasteuria penetrans is a hyperparasitic bacterium capable of suppressing the nematode reproduction, and represents a typical coevolved pathogen-hyperparasite system. Attachment of Pasteuria endospores to the cuticle of second-stage nematode juveniles is the first and pivotal step in the bacterial infection. RNA-Seq was used to understand the early transcriptional response of the root-knot nematode at 8 h post Pasteuria endospore attachment. Results: A total of 52,485 transcripts were assembled from the high quality (HQ) reads, out of which 582 transcripts were found differentially expressed in the Pasteuria endospore encumbered J2 s, of which 229 were up-regulated and 353 were down-regulated. Pasteuria infection caused a suppression of the protein synthesis machinery of the nematode. Several of the differentially expressed transcripts were putatively involved in nematode innate immunity, signaling, stress responses, endospore attachment process and post-attachment behavioral modification of the juveniles. The expression profiles of fifteen selected transcripts were validated to be true by the qRT PCR. RNAi based silencing of transcripts coding for fructose bisphosphate aldolase and glucosyl transferase caused a reduction in endospore attachment as compared to the controls, whereas, silencing of aspartic protease and ubiquitin coding transcripts resulted in higher incidence of endospore attachment on the nematode cuticle. Conclusions: Here we provide evidence of an early transcriptional response by the nematode upon infection by Pasteuria prior to root invasion. We found that adhesion of Pasteuria endospores to the cuticle induced a down-regulated protein response in the nematode. In addition, we show that fructose bisphosphate aldolase, glucosyl transferase, aspartic protease and ubiquitin coding transcripts are involved in modulating the endospore attachment on the nematode cuticle. Our results add new and significant information to the existing knowledge on early molecular interaction between M. incognita and P. penetrans.Peer reviewedFinal Published versio